algebraic using mux